Integrals 1 to 100

[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA.


Problem 1	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	189	0	0	0	0	0	-1
N.S.	1	1.00	1.99	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.056	1.430	0.368	0.000	0.000	0.000	0.000	0.000


Problem 2	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	185	0	0	0	0	0	-1
N.S.	1	1.00	2.01	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.060	1.032	0.356	0.000	0.000	0.000	0.000	0.000


Problem 3	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	88	88	162	0	0	0	0	0	-1
N.S.	1	1.00	1.84	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.048	0.771	0.331	0.000	0.000	0.000	0.000	0.000


Problem 4	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	93	0	0	0	0	0	-1
N.S.	1	1.00	1.04	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.064	0.099	0.450	0.000	0.000	0.000	0.000	0.000


Problem 5	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	93	93	89	0	0	0	0	0	-1
N.S.	1	1.00	0.96	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.076	0.083	0.698	0.000	0.000	0.000	0.000	0.000


Problem 6	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F(-1)	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	236	0	0	0	0	0	-1
N.S.	1	1.00	2.48	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.059	1.157	0.341	0.000	0.000	0.000	0.000	0.000


Problem 7	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	192	0	0	0	0	0	-1
N.S.	1	1.00	2.09	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.059	1.344	0.339	0.000	0.000	0.000	0.000	0.000


Problem 8	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	182	0	0	0	0	0	-1
N.S.	1	1.00	2.02	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.050	0.714	0.235	0.000	0.000	0.000	0.000	0.000


Problem 9	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	163	0	0	0	0	0	-1
N.S.	1	1.00	1.79	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.062	0.696	0.444	0.000	0.000	0.000	0.000	0.000


Problem 10	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	90	0	0	0	0	0	-1
N.S.	1	1.00	0.99	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.075	0.098	0.717	0.000	0.000	0.000	0.000	0.000


Problem 11	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	207	0	0	0	0	0	-1
N.S.	1	1.00	2.18	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.056	1.816	0.341	0.000	0.000	0.000	0.000	0.000


Problem 12	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	168	0	0	0	0	0	-1
N.S.	1	1.00	1.83	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.057	0.844	0.283	0.000	0.000	0.000	0.000	0.000


Problem 13	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	127	0	0	0	0	0	-1
N.S.	1	1.00	1.41	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.051	0.498	0.252	0.000	0.000	0.000	0.000	0.000


Problem 14	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	88	88	121	0	0	0	0	0	-1
N.S.	1	1.00	1.38	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.063	0.342	0.555	0.000	0.000	0.000	0.000	0.000


Problem 15	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	93	93	89	0	0	0	0	0	-1
N.S.	1	1.00	0.96	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.077	0.073	0.681	0.000	0.000	0.000	0.000	0.000


Problem 16	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	165	0	0	0	0	0	-1
N.S.	1	1.00	1.74	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.055	0.514	0.253	0.000	0.000	0.000	0.000	0.000


Problem 17	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	130	0	0	0	0	0	-1
N.S.	1	1.00	1.41	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.053	0.126	0.272	0.000	0.000	0.000	0.000	0.000


Problem 18	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	124	0	0	0	0	0	-1
N.S.	1	1.00	1.38	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.052	0.128	0.251	0.000	0.000	0.000	0.000	0.000


Problem 19	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	92	0	0	0	0	0	-1
N.S.	1	1.00	1.02	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.065	0.023	0.592	0.000	0.000	0.000	0.000	0.000


Problem 20	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	93	93	96	0	0	0	0	0	-1
N.S.	1	1.00	1.03	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.078	0.459	0.694	0.000	0.000	0.000	0.000	0.000


Problem 21	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	333	0	0	0	0	0	-1
N.S.	1	1.00	2.28	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.087	3.562	0.498	0.000	0.000	0.000	0.000	0.000


Problem 22	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	336	0	0	0	0	0	-1
N.S.	1	1.00	2.30	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.087	2.899	0.398	0.000	0.000	0.000	0.000	0.000


Problem 23	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	144	144	336	0	0	0	0	0	-1
N.S.	1	1.00	2.33	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.087	2.855	0.463	0.000	0.000	0.000	0.000	0.000


Problem 24	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	311	0	0	0	0	0	-1
N.S.	1	1.00	2.12	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.087	4.336	0.341	0.000	0.000	0.000	0.000	0.000


Problem 25	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	145	145	311	0	0	0	0	0	-1
N.S.	1	1.00	2.14	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.086	4.395	0.394	0.000	0.000	0.000	0.000	0.000


Problem 26	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	148	148	340	0	0	0	0	0	-1
N.S.	1	1.00	2.30	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.095	2.326	0.364	0.000	0.000	0.000	0.000	0.000


Problem 27	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	145	145	303	0	0	0	0	0	-1
N.S.	1	1.00	2.09	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.078	6.325	0.397	0.000	0.000	0.000	0.000	0.000


Problem 28	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	120	120	222	0	0	0	0	0	-1
N.S.	1	1.00	1.85	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.080	1.183	0.285	0.000	0.000	0.000	0.000	0.000


Problem 29	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	109	109	215	0	0	0	0	0	-1
N.S.	1	1.00	1.97	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.072	1.057	0.254	0.000	0.000	0.000	0.000	0.000


Problem 30	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	113	113	262	0	0	0	0	0	-1
N.S.	1	1.00	2.32	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.059	3.953	0.195	0.000	0.000	0.000	0.000	0.000


Problem 31	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	117	117	119	0	0	0	0	0	-1
N.S.	1	1.00	1.02	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.079	0.167	0.401	0.000	0.000	0.000	0.000	0.000


Problem 32	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	132	132	107	0	0	0	0	0	-1
N.S.	1	1.00	0.81	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.099	0.125	0.611	0.000	0.000	0.000	0.000	0.000


Problem 33	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	132	132	118	0	0	0	0	0	-1
N.S.	1	1.00	0.89	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.097	0.172	0.884	0.000	0.000	0.000	0.000	0.000


Problem 34	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	341	0	0	0	0	0	-1
N.S.	1	1.00	2.40	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.085	2.084	0.517	0.000	0.000	0.000	0.000	0.000


Problem 35	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	335	0	0	0	0	0	-1
N.S.	1	1.00	2.36	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.084	2.483	0.468	0.000	0.000	0.000	0.000	0.000


Problem 36	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	140	140	336	0	0	0	0	0	-1
N.S.	1	1.00	2.40	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.081	2.155	0.417	0.000	0.000	0.000	0.000	0.000


Problem 37	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	141	141	311	0	0	0	0	0	-1
N.S.	1	1.00	2.21	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.080	2.969	0.566	0.000	0.000	0.000	0.000	0.000


Problem 38	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	140	140	343	0	0	0	0	0	-1
N.S.	1	1.00	2.45	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.088	1.926	0.556	0.000	0.000	0.000	0.000	0.000


Problem 39	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	338	0	0	0	0	0	-1
N.S.	1	1.00	2.38	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.090	2.447	0.602	0.000	0.000	0.000	0.000	0.000


Problem 40	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	129	0	0	0	0	0	-1
N.S.	1	1.00	0.77	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.091	0.179	0.468	0.000	0.000	0.000	0.000	0.000


Problem 41	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	346	0	0	0	0	0	-1
N.S.	1	1.00	2.25	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.112	3.244	0.313	0.000	0.000	0.000	0.000	0.000


Problem 42	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	151	151	265	0	0	0	0	0	-1
N.S.	1	1.00	1.75	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.109	3.728	0.335	0.000	0.000	0.000	0.000	0.000


Problem 43	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	311	0	0	0	0	0	-1
N.S.	1	1.00	2.13	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.097	1.379	0.223	0.000	0.000	0.000	0.000	0.000


Problem 44	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	148	148	120	0	0	0	0	0	-1
N.S.	1	1.00	0.81	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.115	0.145	0.450	0.000	0.000	0.000	0.000	0.000


Problem 45	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	150	150	116	0	0	0	0	0	-1
N.S.	1	1.00	0.77	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.132	0.121	0.740	0.000	0.000	0.000	0.000	0.000


Problem 46	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	118	0	0	0	0	0	-1
N.S.	1	1.00	0.77	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.132	0.163	0.806	0.000	0.000	0.000	0.000	0.000


Problem 47	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F(-1)	F	F(-1)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	444	0	0	0	0	0	-1
N.S.	1	1.00	2.88	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.110	4.163	0.319	0.000	0.000	0.000	0.000	0.000


Problem 48	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	151	151	334	0	0	0	0	0	-1
N.S.	1	1.00	2.21	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.105	6.155	0.253	0.000	0.000	0.000	0.000	0.000


Problem 49	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	290	0	0	0	0	0	-1
N.S.	1	1.00	1.99	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.095	1.634	0.221	0.000	0.000	0.000	0.000	0.000


Problem 50	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	303	0	0	0	0	0	-1
N.S.	1	1.00	2.08	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.112	1.597	0.434	0.000	0.000	0.000	0.000	0.000


Problem 51	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	150	150	117	0	0	0	0	0	-1
N.S.	1	1.00	0.78	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.131	0.148	0.686	0.000	0.000	0.000	0.000	0.000


Problem 52	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	118	0	0	0	0	0	-1
N.S.	1	1.00	0.77	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.133	0.127	0.823	0.000	0.000	0.000	0.000	0.000


Problem 53	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	304	0	0	0	0	0	-1
N.S.	1	1.00	1.97	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.107	1.948	0.302	0.000	0.000	0.000	0.000	0.000


Problem 54	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	305	0	0	0	0	0	-1
N.S.	1	1.00	2.07	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.104	1.304	0.237	0.000	0.000	0.000	0.000	0.000


Problem 55	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	173	0	0	0	0	0	-1
N.S.	1	1.00	1.22	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.095	1.270	0.200	0.000	0.000	0.000	0.000	0.000


Problem 56	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	305	0	0	0	0	0	-1
N.S.	1	1.00	2.07	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.103	0.989	0.015	0.000	0.000	0.000	0.000	0.000


Problem 57	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	304	0	0	0	0	0	-1
N.S.	1	1.00	1.97	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.113	1.796	0.007	0.000	0.000	0.000	0.000	0.000


Problem 58	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	333	0	0	0	0	0	-1
N.S.	1	1.00	2.16	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.108	1.706	0.327	0.000	0.000	0.000	0.000	0.000


Problem 59	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	299	0	0	0	0	0	-1
N.S.	1	1.00	1.94	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.109	1.113	0.302	0.000	0.000	0.000	0.000	0.000


Problem 60	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	149	149	175	0	0	0	0	0	-1
N.S.	1	1.00	1.17	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.102	1.338	0.240	0.000	0.000	0.000	0.000	0.000


Problem 61	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	143	0	0	0	0	0	-1
N.S.	1	1.00	0.98	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.101	1.067	0.240	0.000	0.000	0.000	0.000	0.000


Problem 62	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	149	149	175	0	0	0	0	0	-1
N.S.	1	1.00	1.17	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.104	0.141	0.017	0.000	0.000	0.000	0.000	0.000


Problem 63	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	299	0	0	0	0	0	-1
N.S.	1	1.00	1.94	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.107	0.172	0.012	0.000	0.000	0.000	0.000	0.000


Problem 64	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	154	154	348	0	0	0	0	0	-1
N.S.	1	1.00	2.26	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.111	5.840	0.312	0.000	0.000	0.000	0.000	0.000


Problem 65	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	230	230	484	0	0	0	0	0	-1
N.S.	1	1.00	2.10	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.147	7.079	0.462	0.000	0.000	0.000	0.000	0.000


Problem 66	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	227	227	547	0	0	0	0	0	-1
N.S.	1	1.00	2.41	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.144	8.531	0.395	0.000	0.000	0.000	0.000	0.000


Problem 67	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	225	225	494	0	0	0	0	0	-1
N.S.	1	1.00	2.20	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.133	8.826	0.402	0.000	0.000	0.000	0.000	0.000


Problem 68	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	228	228	548	0	0	0	0	0	-1
N.S.	1	1.00	2.40	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.138	8.078	0.351	0.000	0.000	0.000	0.000	0.000


Problem 69	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	226	226	545	0	0	0	0	0	-1
N.S.	1	1.00	2.41	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.140	7.322	0.340	0.000	0.000	0.000	0.000	0.000


Problem 70	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F(-1)	F	F	F	F	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	234	234	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.150	180.001	0.336	0.000	0.000	0.000	0.000	0.000


Problem 71	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	226	226	292	0	0	0	0	0	-1
N.S.	1	1.00	1.29	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.129	2.140	0.408	0.000	0.000	0.000	0.000	0.000


Problem 72	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	189	189	296	0	0	0	0	0	-1
N.S.	1	1.00	1.57	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.140	1.884	0.256	0.000	0.000	0.000	0.000	0.000


Problem 73	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	182	182	285	0	0	0	0	0	-1
N.S.	1	1.00	1.57	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.129	1.425	0.210	0.000	0.000	0.000	0.000	0.000


Problem 74	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	175	175	292	0	0	0	0	0	-1
N.S.	1	1.00	1.67	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.100	1.060	0.257	0.000	0.000	0.000	0.000	0.000


Problem 75	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	191	191	161	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.135	0.398	0.392	0.000	0.000	0.000	0.000	0.000


Problem 76	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	208	208	155	0	0	0	0	0	-1
N.S.	1	1.00	0.75	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.157	0.307	0.624	0.000	0.000	0.000	0.000	0.000


Problem 77	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	208	208	168	0	0	0	0	0	-1
N.S.	1	1.00	0.81	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.148	0.477	0.828	0.000	0.000	0.000	0.000	0.000


Problem 78	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F(-1)	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	223	223	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.142	180.003	0.480	0.000	0.000	0.000	0.000	0.000


Problem 79	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	223	223	487	0	0	0	0	0	-1
N.S.	1	1.00	2.18	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.134	9.719	0.464	0.000	0.000	0.000	0.000	0.000


Problem 80	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-2)	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	221	221	492	0	0	0	0	0	-1
N.S.	1	1.00	2.23	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.128	10.335	0.428	0.000	0.000	0.000	0.000	0.000


Problem 81	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	222	222	548	0	0	0	0	0	-1
N.S.	1	1.00	2.47	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.127	8.913	0.527	0.000	0.000	0.000	0.000	0.000


Problem 82	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F(-1)	F	F	F	F	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	221	221	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.138	180.002	0.537	0.000	0.000	0.000	0.000	0.000


Problem 83	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F(-1)	F	F	F	F	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	223	223	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.139	180.001	0.549	0.000	0.000	0.000	0.000	0.000


Problem 84	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	140	140	93	141	175	147	0	218	201
N.S.	1	1.00	0.66	1.01	1.25	1.05	0.00	1.56	1.44
time (sec)	N/A	0.121	0.802	0.658	0.277	2.836	0.000	0.465	5.192


Problem 85	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	117	117	75	118	152	129	0	188	166
N.S.	1	1.00	0.64	1.01	1.30	1.10	0.00	1.61	1.42
time (sec)	N/A	0.113	0.474	0.638	0.289	2.562	0.000	0.484	5.073


Problem 86	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	86	86	56	88	100	107	0	156	129
N.S.	1	1.00	0.65	1.02	1.16	1.24	0.00	1.81	1.50
time (sec)	N/A	0.072	0.310	0.503	0.302	3.026	0.000	0.448	4.419


Problem 87	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	58	58	67	74	88	101	0	105	128
N.S.	1	1.00	1.16	1.28	1.52	1.74	0.00	1.81	2.21
time (sec)	N/A	0.036	0.036	0.398	0.269	3.204	0.000	0.471	2.627


Problem 88	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	F	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	42	42	54	49	59	86	0	119	91
N.S.	1	1.00	1.29	1.17	1.40	2.05	0.00	2.83	2.17
time (sec)	N/A	0.068	0.037	0.425	0.283	3.168	0.000	0.454	2.684


Problem 89	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	58	58	52	65	70	63	0	99	115
N.S.	1	1.00	0.90	1.12	1.21	1.09	0.00	1.71	1.98
time (sec)	N/A	0.085	0.097	0.398	0.299	2.449	0.000	0.461	2.752


Problem 90	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	77	77	59	68	67	56	0	125	67
N.S.	1	1.00	0.77	0.88	0.87	0.73	0.00	1.62	0.87
time (sec)	N/A	0.101	0.150	0.578	0.279	2.744	0.000	0.452	2.570


Problem 91	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	77	96	90	76	0	156	184
N.S.	1	1.00	0.81	1.01	0.95	0.80	0.00	1.64	1.94
time (sec)	N/A	0.127	0.258	0.664	0.300	2.371	0.000	0.452	5.169


Problem 92	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F(-1)	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	99	117	113	94	0	186	218
N.S.	1	1.00	0.76	0.89	0.86	0.72	0.00	1.42	1.66
time (sec)	N/A	0.125	0.282	0.728	0.276	3.030	0.000	0.480	5.211


Problem 93	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	172	172	321	186	218	161	0	246	222
N.S.	1	1.00	1.87	1.08	1.27	0.94	0.00	1.43	1.29
time (sec)	N/A	0.263	1.901	0.736	0.305	3.124	0.000	0.519	5.200


Problem 94	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	132	132	291	182	227	141	0	212	185
N.S.	1	1.00	2.20	1.38	1.72	1.07	0.00	1.61	1.40
time (sec)	N/A	0.145	1.505	0.628	0.290	2.945	0.000	0.490	5.004


Problem 95	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	A	A	A	F	B	B
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	96	96	1090	119	131	131	0	187	184
N.S.	1	1.00	11.35	1.24	1.36	1.36	0.00	1.95	1.92
time (sec)	N/A	0.095	6.575	0.540	0.285	3.190	0.000	0.499	2.579


Problem 96	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	112	112	330	114	142	129	0	152	154
N.S.	1	1.00	2.95	1.02	1.27	1.15	0.00	1.36	1.38
time (sec)	N/A	0.134	2.498	0.576	0.274	3.508	0.000	0.457	2.605


Problem 97	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	119	119	292	96	101	116	0	143	152
N.S.	1	1.00	2.45	0.81	0.85	0.97	0.00	1.20	1.28
time (sec)	N/A	0.200	1.161	0.498	0.285	3.018	0.000	0.494	2.642


Problem 98	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	110	110	109	108	114	95	0	179	159
N.S.	1	1.00	0.99	0.98	1.04	0.86	0.00	1.63	1.45
time (sec)	N/A	0.185	0.220	0.567	0.287	3.152	0.000	0.489	2.675


Problem 99	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F(-1)	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	136	136	73	142	132	86	0	176	117
N.S.	1	1.00	0.54	1.04	0.97	0.63	0.00	1.29	0.86
time (sec)	N/A	0.202	0.246	0.625	0.270	3.840	0.000	0.468	2.655


Problem 100	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F(-2)	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	169	169	97	160	156	106	0	210	247
N.S.	1	1.00	0.57	0.95	0.92	0.63	0.00	1.24	1.46
time (sec)	N/A	0.262	0.427	0.746	0.273	2.865	0.000	0.471	5.342

[next] [front] [up]